#ifndef _SGX_DEFS_H_
#define _SGX_DEFS_H_

/* The following macros are for GCC only */

#define SGXAPI

#ifdef linux
  #undef linux
#endif
#define SGX_CXX_NATIVE_HEADER(header)   <stdc++/linux/header>

#define SGX_CDECL
#define SGX_STDCALL
#define SGX_FASTCALL

#define SGX_DLLIMPORT
#define SGX_UBRIDGE(attr, fname, args...) attr fname args

#define SGX_DEPRECATED __attribute__((deprecated))


#define SGX_NOCONVENTION /* Empty.  No calling convention specified. */

#endif /* !_SGX_DEFS_H_ */
